Crossword Compilation with Horn Clauses
نویسندگان
چکیده
منابع مشابه
Synchronizing Constrained Horn Clauses
Simultaneous occurrences of multiple recurrence relations in a system of non-linear constrained Horn clauses are crucial for proving its satisfiability. A solution of such system is often inexpressible in the constraint language. We propose to synchronize recurrent computations, thus increasing the chances for a solution to be found. We introduce a notion of CHC product allowing to formulate a ...
متن کاملGuarded Horn Clauses
This thesis introduces the programming language Guarded Horn Clauses which is abbreviated to GHC. Guarded Horn Clauses was born from the examination of existing logic programming languages and logic programming in general, with special attention paid to parallelism. The main feature of GHC is its extreme simplicity compared with the other parallel programming languages. GHC is a restriction of ...
متن کاملNormalization of Horn clauses with disequality constraints
Horn clauses constitute a convenient, Turing-powerful tool for the specification and representation of analysis problems. However, it is not possible to express disequality conditions directly and in a natural way by means of Horn clauses. This thesis therefore proposes an extension of Horn clauses with several kinds of disequality constraints. In order to provide an automatic analysis framewor...
متن کاملXENO: Computer-Assisted Compilation of Crossword Puzzles
XENO is a suite of programs which assist in the creation of crossword puzzles. It is an extension of a diagram filling program presented earlier. Complete puzzles can be produced under the control of a small number of parameters, clues being selected from an indexed file. It is possible to generate thematic puzzles by including keywords in the input parameters. Use of a tree searching method re...
متن کاملIntroduction to Guarded Horn Clauses
This paper informally introduces a programming language Guarded Horn Clauses (GHC) through program examples. GHC is a parallel programming language devised from investigation of the basic framework and practice of logic programming. It has introduced the guard construct with simple semantics into logic programming to express interacting processes. A GHC program naturally expresses parallelism i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1987
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/30.2.183